Jonathan P. Bowen (auth.): mencari di tapak web Z-Library

Akses percuma kepada pengetahuan dan budaya.

Don't use scam websites

Buku (16)
Yang paling popular
Senarai
- Senarai
- Jadual

1

High-Integrity System Specification and Design

High-Integrity System Specification and Design

Springer-Verlag London

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 17.04 MB

0 / 0

english, 1999

2

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 4.05 MB

0 / 0

english, 2008

3

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 8.13 MB

0 / 0

english, 2008

4

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 5.56 MB

0 / 0

english, 2008

5

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 3.23 MB

0 / 5.0

english, 2010

6

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Springer-Verlag London

James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)

Tahun:

2013

Bahasa:

english

Fail:

PDF, 9.66 MB

0 / 0

english, 2013

7

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)

Tahun:

2002

Bahasa:

english

Fail:

PDF, 3.54 MB

0 / 0

english, 2002

8

Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

Springer-Verlag London

Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)

Tahun:

2001

Bahasa:

english

Fail:

PDF, 14.94 MB

0 / 0

english, 2001

9

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

Tahun:

1998

Bahasa:

english

Fail:

PDF, 10.95 MB

0 / 0

english, 1998

10

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

Tahun:

1995

Bahasa:

english

Fail:

DJVU, 5.90 MB

0 / 0

english, 1995

11

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 3.04 MB

0 / 0

english, 2010

12

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 4.83 MB

0 / 0

english, 2008

13

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 41.80 MB

0 / 0

english, 1999

14

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)

Tahun:

2003

Bahasa:

english

Fail:

PDF, 4.31 MB

0 / 0

english, 2003

15

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

Tahun:

1997

Bahasa:

english

Fail:

DJVU, 3.78 MB

0 / 0

english, 1997

16

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 7.30 MB

0 / 0

english, 2008